conjunctive normal form in Discrete Mathematics